TSTP Solution File: SET009^5 by SInE---0.4